$\forall$$w$:World. w{-}discrete{-}constraint($w$) $\in$ $\mathbb{P}$